Études structuralesin situpar diffraction de neutrons

Alignement entre ontologie de domaine et la Snomed: trois études de cas

Résumé : Les expériences sur les ontologies montrent de plus en plus clairement qu’elles ne représentent correctement et de façon consensuelle que des domaines réduits. Ainsi, les ontologies de domaines sont développées pour des applications particulières alors que des ontologies de référence tendent à être utilisées pour fédérer les résultats des applications spécifiques. Nous présentons dans ...

Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B

Stratégies pour l'étiquetage et l'analyse syntaxique statistique de phénomènes difficiles en français : études de cas avec Talismane

RÉSUMÉ. Les outils statistiques robustes en TAL, tels que les étiqueteurs morphosyntaxiques et les analyseurs syntaxiques, utilisent souvent des descripteurs « pauvres », qui peuvent être appliqués facilement à n’importe quelle langue, mais ne prennent pas en compte les particularités de la langue. Dans cette étude, nous cherchons à améliorer l’analyse de deux phénomènes en français en injectan...

Transition de phase ferroélastique du phosphate de plomb. Etude par diffusion inélastique des neutrons

2014 An inelastic neutron scattering study of the ferroelastic phase transition in lead phosphate has revealed in the high temperature phase the existence of a zone boundary soft mode whose character is compatible with the structure change at the transition. The analysis of the observed spectral line shape shows that this soft mode is overdamped between Tc and Tc + 100 K. The quasiharmonic freq...

Études in non-interactive zero-knowledge

N a ZERO-KNOWLEDGE PROOF [GMR85], Prover interactively convinces Verifier that theorem 7r is true in such a way that (a) a corrupt Prover cannot convince Verifier of a false theorem and (b) a corrupt Verifier cannot "learn" anything other than the fact that r is true. In a NON-INTERACTIVE ZERO-KNOWLEDGE PROOF [BFM88], the Prover must do the above by sending only a single message to Verifier! To...